\section{SALADS Design and Implementation}
In this section, we describe the design and implementation of
SALADS. We first illustrate the Extraction component on how we
collect the data structure as well as the API information in Section
3.1. Our data structure alias analysis component is presented in
Section 3.2. Next we present normalization component which
normalizing the data structure memory access in Section 3.3.  The
data structure randomization component is illustrated in Section
3.4-3.6.
%Finally, we discuss how we address some practical issues in Section
%3.5.


\input{analysis}

\input{alias}

\input{normalize}

\input{randomization}

\input{derandomization}

\input{rerandomization}

\input{correctness}
